Some results concerning proofs of statements about programs
نویسندگان
چکیده
منابع مشابه
Veriied Proofs concerning Functional Programs
In this paper the development of automatically veriied proofs for functional programs is examined. This examination is made on the basis of a small functional program written in the functional language clean. For this program a proof is constructed in the proof system coq. This proof is automatically veriied by coq. The functional program presented contains two function-constructors for the cla...
متن کاملOn the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda
In this paper we discuss the proofs of some results comparing existence statements for the solutions of nonlinear equations. In one important case we correct a proof already published.
متن کاملSome Results concerning Pythagorean Triplets
By using a computer program devised by M. Creutz, we were able to determine all Pythagoeran triplets for which z ^ 300. At this point, a distinction must must be made between P-triplets for which x9 y9 and z have no common divisor [the so-called "primitive solutions" of (1)] and P-triplets which are related to the primitive solutions by multiplication by a common integer factor k. So, if Xi9y^9...
متن کاملGeometric Proofs of Some Results of Morita
In this note we consider three results of Morita: [21, (1.3)], [22, (1.7)] and [24, (5.1)], which give relations between certain two dimensional cohomology classes of various moduli spaces of curves. We have reformulated Morita’s results in more geometric language to facilitate their application in our work [13] on the Arakelov geometry of Mg and to advertise them to algebraic geometers. We giv...
متن کاملSimple Proofs of Some Results of Reshetnyak
In this paper we give simpler proofs of the classical continuity and lower semicontinuity theorems of Reshetnyak. 1. Main result In 1968, Reshetnyak [20] proved two important results concerning the continuity and lower semicontinuity of functionals with respect to weak-star convergence of measures. These theorems are used in a variety of areas in the calculus of variations, ranging from problem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1970
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(70)80013-7